#include <stdio.h>

int main(int argc, char *argv[]) 
{
	int min,max,m,i=0;
	scanf("%d%d",&min,&max);
	while(min!=0||max!=0)
	{
		i=0;
		if(1000<=min&&min<max&&max<=9999)
		{
			for(m=min;m<=max;m++)
			{
				if(m%10!=(m/10)%10&&m%10!=(m/100)%10&&m%10!=(m/1000)%10&&(m/10)%10!=(m/100)%10&&(m/10)%10!=(m/1000)%10&&(m/100)%10!=(m/1000)%10&&m%2==0)
				{
					printf("%d  ",m);
					i++;
				}
			}
			printf("\ncounter=%d\n",i);
		}
		else printf("Error\n");
		scanf("%d%d",&min,&max);
	}
	return 0;
}